closure properties of regular languages in flat